Deadlocks Detection in Multithreaded Applications Based on Source Code Analysis

Visualizing Potential Deadlocks in Multithreaded Programs

It is important to analyze and identify potential deadlocks resident in multithreaded programs from a successful deadlock-free execution, because the nondeterministic nature of such programs may hide the errors during testing. Visualizing the runtime behaviors of locking operations makes it possible to debug such errors effectively, because it provides intuitive understanding of different feasi...

Profile Detection Through Source Code Static Analysis

The present article reflects the progress of an ongoing master’s dissertation on language engineering. The main goal of the work here described, is to infer a programmer’s profile through the analysis of his source code. After such analysis the programmer shall be placed on a scale that characterizes him on his language abilities. There are several potential applications for such profiling, nam...

Dead code elimination based pointer analysis for multithreaded programs

This paper presents a new approach for optimizing multitheaded programs with pointer constructs. The approach has applications in the area of certified code (proof-carrying code) where a justification or a proof for the correctness of eachoptimization is required. The optimization meant here is that of dead code elimination. Towards optimizing multithreaded programs the paper presents a new ope...

Plagiarism Detection in Source Code

Group-Based Performance Analysis for Multithreaded SMP Cluster Applications

Performance optimization remains one of the key issues in parallel computing. With the emergence of large clustered SMP systems, the task of analyzing and tuning scientific applications actually becomes harder. Tools need to be extended to cover both distributed and shared– memory styles of performance analysis and to handle the massive amount of information generated by applications on today’s...